翻訳と辞書 Words near each other ・ case*method ・ cashe ・ cast ・ casters-up mode ・ casting the runes ・ cat ・ cat 3 ・ cat 5 ・ catatonic ・ cate ・ categorical abstract machine language ・ category ・ category 3 ・ category 5 ・ cathode ray tube ・ catia ・ cationic cocktail ・ catnip ・ cato ・ cauchy sequence Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク categorical abstract machine language ： FOLDOC Categorical Abstract Machine Language (Originally "CAML" - Categorical Abstract Machine Language) A version of ML by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others of INRIA and ENS. CAML is intermediate between {LCF ML} and SML [in what sense?]. It has {first-class} functions, {static type inference} with polymorphic types, user-defined {variant types} and {product types}, and pattern matching. It is built on a proprietary run-time system. The CAML V3.1 implementation added lazy and {mutable} data structures, a "grammar" mechanism for interfacing with the Yacc parser generator, prettyprinting tools, high-performance {arbitrary-precision} arithmetic, and a complete library. CAML V3 is often nicknamed "heavy CAML", because of its heavy memory and CPU requirements compared to Caml Light. in 1990 Xavier Leroy and Damien Doligez designed a new implementation called Caml Light, freeing the prev スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.